Lecture 9 : Hardness of Max - E k - Indep . - Set and A . - k - Center February 12 , 2008
نویسندگان
چکیده
The proof of Theorem 1.1 uses a reduction from the Label-Cover(K,L) problem. Given an instance G = (U, V,E) of the Label-Cover(K,L) problem, we construct a k-regular hypergraphH. For each vertex v ∈ V , we add a corresponding “block” {0, 1}v of 2 vertices in H. We assign a p-biased weight to each vertex, with p = 1− 2 k − δ. For each pair of edges (u, v), (u, v′) ∈ E, we add a hyperedge on the set of vertices {A1, . . . , Ak/2, B ′ 1 , . . . , B v′ k/2} if and only if πv→u( ⋂k/2 i=1 A v i ) and πv′→u( ⋂k/2 i=1 B v′ i ) are disjoint sets of keys. For more details on the reduction and the intuition behind it, see Lecture 8. The reduction takes polynomial time. In the previous lecture, we used the reduction to prove the completeness of Theorem 1.1.
منابع مشابه
Advanced Approximation Algorithms ( CMU 15 - 854 B , Spring 2008 ) Lecture 25 : Hardness of Max - k CSPs and Max - Independent - Set
Recall that an instance of the Max-kCSP problem is a collection of constraints, each of which is defined over k variables. A random assignment to the variables in a constraint satisfies it with probability 1/2, so a random assignment satisfies a 1/2 fraction of the constraints in a Max-kCSP instance in expectation. This shows that the hardness result is close to optimal, since there is a trivia...
متن کاملLecture 3 : 1 vs 3 / 4 + 2 Hardness for Max - Coverage Jan 22 , 2008
The MAX-LABEL-COVER(K,L) Problem: An instance to the MAX-LABEL-COVER(K,L) problem comprises of a bipartite graph G(U, V, E) with U and V being the two partitions, and a projection function πv→u : L → K on each edge (u, v). The objective is to obtain a labeling of the vertices (a function f : U → K, V → L) which satisfies maximum fraction of the edges. Edge (u, v) is satisfied by labeling f if a...
متن کاملRecap: Consistent-labeling and Hypercubes
Universes. In many cases, it is probably more convenient or even crucial to work with an abstract universe, rather than a collection of Boolean hypercubes. Suppose we are given an abstract universe A = ⊎ eAe, where the subuniverses all have the same size. Like before, we want the property that unless both sets in a complement pair are picked, picking a large number of sets still won’t cover the...
متن کاملk-TUPLE DOMATIC IN GRAPHS
For every positive integer k, a set S of vertices in a graph G = (V;E) is a k- tuple dominating set of G if every vertex of V -S is adjacent to at least k vertices and every vertex of S is adjacent to at least k - 1 vertices in S. The minimum cardinality of a k-tuple dominating set of G is the k-tuple domination number of G. When k = 1, a k-tuple domination number is the well-studied domination...
متن کاملInapproximability of Minimum Vertex Cover
Last time we examined a generic approach for inapproximability results based on the Unique Games Conjecture. Before, we had already shown that approximating MAX-3-LIN to within a constant factor larger than 12 is NP-hard. To do this we used a tweaked version of our dictatorship test that we came up with earlier in the semester. Last time we (re)proved that approximating MAX-3-LIN to within a co...
متن کامل